FIFTY YEARS OF THE SPECTRUM PROBLEM: SURVEY AND NEW RESULTS A. DURAND, N. D. JONES, J. A. MAKOWSKY, AND M. MORE Abstract. In 1952, Heinrich Scholz published a question in the Journal of Symbolic Logic asking for a chara

Source URL: www.diku.dk

The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 FLAG ALGEBRAS ALEXANDER A. RAZBOROV

Source URL: www.mi.ras.ru

Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite

Source URL: www.ii.uib.no

• Formal languages
• Applied mathematics
• Dependently typed programming
• Type theory
• Mathematical logic
• Rewriting
• Abstract rewriting system
• Logic
• Curry–Howard correspondence
• Theoretical computer science
• Logic in computer science
• Mathematics

The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 PDL WITH INTERSECTION AND CONVERSE: SATISFIABILITY AND INFINITE-STATE MODEL CHECKING

Source URL: www.informatik.uni-leipzig.de

• Mathematics
• Μ operator
• Symbol
• Well-formed formula
• Boolean satisfiability problem
• Model theory
• Linear temporal logic
• Theoretical computer science
• Logic
• Metalogic

Journal of Artificial Intelligence Research[removed]Submitted 10/05; published[removed]Learning Symbolic Models of Stochastic Domains Hanna M. Pasula

Source URL: people.csail.mit.edu

• Model theory
• Functions and mappings
• Predicate logic
• Formal languages
• First-order logic
• Function
• Interpretation
• FO
• Causality
• Mathematical logic
• Logic
• Mathematics

Journal of Logic and Computation Advance Access published February 20, 2009 Speculative Image Computation for Distributed Symbolic Reachability Analysis MING-YING CHUNG, Verification Group, Synopsys Inc. Mountain View,

Source URL: dad.ethanchung.com

• Petri net
• Computer cluster
• Computing
• Concurrency
• Diagrams

Kernel Contraction Author(s): Sven Ove Hansson Reviewed work(s): Source: The Journal of Symbolic Logic, Vol. 59, No. 3 (Sep., 1994), pp[removed]Published by: Association for Symbolic Logic Stable URL: http://www.jstor.o

Source URL: all4da.googlecode.com

• Mathematics
• Contraction
• Edge contraction
• Sheaf
• Poisson bracket
• Tensor contraction
• Operator theory
• Mathematical analysis
• Theoretical physics

The Journal of Symbolic Logic Volume 00, Number 0, XXX 0000 RANDOMNESS, LOWNESS AND DEGREES GEORGE BARMPALIAS, ANDREW E. M. LEWIS, AND MARIYA SOSKOVA

Source URL: www.fmi.uni-sofia.bg

• Computability
• Applied mathematics
• Mathematics
• Computer science
• Computability theory
• Algorithmically random sequence
• Turing reduction

TBB JOURNAL OF SYMBOLIC LOGIC

Source URL: fitelson.org

• Structure
• Ring
• Inequality
• Mathematics
• Paradoxes
• Raven paradox

On Notation for Ordinal Numbers Author(s): S. C. Kleene Source: The Journal of Symbolic Logic, Vol. 3, No. 4, Including an Update to A Bibliography

Source URL: www.thatmarcusfamily.org

• Mathematical logic
• JSTOR
• Academic publishing
• Publishing
• Academia
• Journal of Symbolic Logic